
// Not on line 0 because we want to verify the error is placed in the appropriate location.
  export module M {
}